منابع مشابه
Davide Ancona
della relazione invitata A framework for data, knowledge, and reasoning: Datalog± . . . . . . . . . . . . . 1 Georg Gottlob Fondamenti e risultati teorici A Diophantine representation of Wolstenholme’s pseudoprimality . . . . . . . 2 Luca Vallata, Eugenio Omodeo A natural sequent calculus for Lewis’ logic of counterfactuals . . . . . . . . . . . 13 Nicola Olivetti, Gian Luca Pozzato Infinite de...
متن کاملMolecular sexing of unusually large numbers of Spheniscus magellanicus (Spheniscidae) washed ashore along the Brazilian coast in 2008.
There have been few studies on Magellanic penguins (Spheniscus magellanicus). In 2008, these penguins washed ashore along the Brazilian coast in unusually high numbers, some reaching as far as northeast Brazil. As Magellanic penguins show little sexual dimorphism, sex determination by morphological features is not accurate. Here, we tested a molecular procedure for sexing specimens of S. ...
متن کاملNutritional Autopsy of a Short-tailed Albatross (Diomedea albatrus) Weakened by Fishhook, Washed Ashore in Central Honshu, Japan
mouth of Fuji River, Shizuoka Prefecture, central Honshu and was brought to the nearby Shizuoka Municipal Nihondaira Zoo the same day. The bird died on 30 March, after being kept for 12 days at the Zoo. The bird was fed an average daily amount 622g of fish: mainly horse mackerel (Trachurus japonicus), some squid (Todarodes pacificus) and krill (Euphausia superba), but most of the food was regur...
متن کاملCasualty rates among naval forces ashore.
Casualty rates for naval forces ashore across varying battle intensities are needed as input to medical and manpower planning models. Casualty data of medical and construction battalions participating in World War II amphibious assaults, Korea, and Vietnam were extracted from archival sources. Casualty rates among naval ashore forces fluctuated with battle intensity. The rate during intense com...
متن کاملDavide Ancona An Algebraic Approach to Mixins and Modularity
State Machines (alias evolving algebras as defined by Y. Gurevich) have been used to specify languages (e.g. Prolog, C++, VHDL) and architectures (e.g. PVM, APE100, Transputer, DLX), to validate standard language implementations (e.g. of Prolog, Occam), to verify numerous distributed and real-time protocols, etc.. See [2] for a recent survey and general discussion of the approach. In this talk,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Writers' Workshop: A Fiftieth Anniversary Celebration
سال: 1986
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.3327